//
// Created by Eric Zhao on 10/9/2021.
//

#ifndef __IRET_H__
#define __IRET_H__

make_helper(iret);

#endif //__IRET_H__
